Philosophers have long been fascinated by the stream of consciousness––thoughts, images, and bits of inner speech that dance across the inner stage. Yet for centuries, such “mind-wandering” was deemed private and thus resistant to empirical investigation. Recent developments in psychology and neuroscience have reinvigorated scientific interest in the stream of thought, leading some researchers to dub this “the era of the wandering mind”. Despite this flurry of progress, scientists have stressed that mind-wandering research requires firmer philosophical foundations. The time is (...) therefore ripe for the philosophy of mind-wandering. Our review begins with a foundational question: what is mind-wandering? We then investigate the significance of mind-wandering for general philosophical topics, namely mental action, introspection, and the norms of thinking and attention. (shrink)

Attribution theorists assume that character information informs judgments of blame. But there is disagreement over why. One camp holds that character information is a fundamental determinant of blame. Another camp holds that character information merely provides evidence about the mental states and processes that determine responsibility. We argue for a two-channel view, where character simultaneously has fundamental and evidential effects on blame. In two large factorial studies (n = 495), participants rate whether someone is blameworthy when he makes a mistake (...) (burns a cake or misses a bus stop). Although mental state inferences predict blame judgments, character information does not. Using mediation analyses, we find that character information influences responsibility via two channels (Studies 3–4; n = 447), which are sensitive to different kinds of information (Study 5; n = 149). On the one hand, forgetfulness increases judgments of responsibility, because mental lapses manifest an objectionable character flaw. On the other hand, forgetfulness decreases judgments of state control, which in turn decreases responsibility judgments. These two channels cancel out, which is why we find no aggregate effect of forgetfulness on responsibility. Our results challenge several fundamental assumptions about the role of character information in moral judgment, including that good character typically mitigates blame. (shrink)

Although mind-wandering research is rapidly progressing, stark disagreements are emerging about what the term “mind-wandering” means. Four prominent views define mind-wandering as 1) task-unrelated thought, 2) stimulus-independent thought, 3) unintentional thought, or 4) dynamically unguided thought. Although theorists claim to capture the ordinary understanding of mind-wandering, no systematic studies have assessed these claims. Two large factorial studies present participants (n=545) with vignettes that describe someone’s thoughts and ask whether her mind was wandering, while systematically manipulating features relevant to the four (...) major accounts of mind-wandering. Dynamics explains between four and twenty times more variance in participants’ mind-wandering judgments than other features. Our third study (n=153) tests and supports a unique prediction of the dynamic framework—obsessive rumination contrasts with mind-wandering. Our final study (n=277) used vignettes that resemble mind-wandering experiments. Dynamics had significant and large effects, while task-unrelatedness was insignificant. These results strongly align with the dynamic conception of mind-wandering. (shrink)

Ecology arguably has roots in eighteenth-century natural histories, such as Linnaeus's economy of nature, which pressed a case for holistic and final-causal explanations of organisms in terms of what we'd now call their environment. After sketching Kant's arguments for the indispensability of final-causal explanation merely in the case of individual organisms, and considering the Linnaean alternative, this paper examines Kant's critical response to Linnaean ideas. I argue that Kant does not explicitly reject Linnaeus's holism. But he maintains that the indispensability (...) of final-causal explanation depends on robust modal connections between types of organism and their functional parts; relationships in Linnaeus's economy of nature, by contrast, are relatively contingent. Kant's framework avoids strong metaphysical assumptions, is responsive to empirical evidence, and can be fruitfully compared with some contemporary approaches to biological organization. (shrink)

In my first year at the Graduate Theological Union (Berkeley); I was required to read Oscar Cullmann's <b> Immortality of the Soul or the Resurrection of the Dead? </b> (1956). I was shocked and dumbfounded by what I discovered. Giving my religious instruction under the guidance of the Ursuline nuns at Holy Cross Grade School, it never entered my mind that Jesus did not believe that every person had an immortal soul that survived the death of the body. After a (...) single reading, however, I suddenly realized that Jesus never endorsed the immortality of the soul. I suffered a crisis of faith--I realized that my Catholic upbringing had been contaminated by dubious ideas that originated with Socrates.<br> More recently, the international NT scholar and Bishop N.T. Wright has challenged the Christian churches to drop Socratic ideas and to return to the faith of Jesus:<br> <quote>Mention salvation, and almost all Western Christians assume that you mean going to heaven when you die. But a moment’s thought, in the light of all we have said so far, reveals that this simply cannot be right. . . . If God’s good creation—of the world, of life as we know it, or our glorious and remarkable bodies, brains, and bloodstreams—really is good . . . , then to see the death of the body and the escape of the soul as salvation is not simply slightly off course, in need of a few subtle alterations and modifications. It is totally and utterly wrong! </quote> In my article, I use my personal story to illustrate how Socratic doctrines had distorted my faith in Jesus. I use my training in historical theology to illustrate (a) how Socrates became the patron saint of the Church Fathers; (b) how Jesus' mission in Hades expanded during the first three centuries; and (c) how Hades began as a cool place where the souls of saints and sinners resided together and ended up as a hot place where grave sinners were eternally tormented. Along the way, I show how Socrates failed to resolve key issues such as (a) whether the soul survives death; (b) whether communication between souls is even possible after death; and (c) whether souls in the heavenly realm are locked in a permanent coma. In brief, I supply N.T. Wright with massive evidence of just how "utterly wrong" the "going to Heaven" movement has been.<br><br> Note: I just finished this paper and hope to publish it. Any help you can give me to improve its readability or content, would be appreciated. (shrink)

The dilemma referred to in the title occurs in many contexts concerned with expressive meaning in art, and especially music, which suggests that the issue it raises will be central to any complete theory of musical expressiveness. One notable attempt to resolve the paradox of simultaneous generality and particularity in music is in Aaron Ridley’s book Music, Value and the Passions. I show why I consider his account unsatisfactory and then propose my own resolution of the paradox. It takes (...) the form of distinguishing between two distinct notions of generality (which I term ‘generality’ and ‘abstractness’) and of particularity (‘specificity’ and ‘concreteness’), and of constructing two relatively independent oppositions: the concrete versus the abstract and the specifi c versus the general. Finally, I show that a description of music’s expressive meaning as abstract, but specific, rightly captures what is usually thought about music, and does not entail any contradictions. (shrink)

Epistemology is often a problem for libertarianism. Many libertarian texts assume that they need to do more than explain and defend the libertarian conjecture. Instead, they try to offer epistemological support for it (whether empirically or morally); which falsificationism and, more broadly, critical rationalism explains is not possible. Moreover, they often mistake this attempt at support for an explanation of libertarianism (which ought to include an abstract theory of liberty and how it relates to liberty in practice). Therefore, when a (...) criticism of falsificationism appears on a libertarian website it seems useful to reply to it (even though no discussion of libertarianism itself is involved). (shrink)

I consider two attempts to combine realism with pluralism about the units of selection: Sober and Wilson’s combination of “model” and “unit” pluralism, and Sterelny and Griffiths’ “local pluralism”. I argue that both of these attempts fail to show that realism and pluralism are compatible. Sober and Wilson’s pluralism turns out, on closer inspection, to be a kind of monism in disguise, while Sterelny and Griffiths’ local pluralism involves a combination of realism and anti-realism about interactors, and the units of (...) selection, that is fundamentally unstable. My conclusion is that one must choose whether to be a realist or a pluralist in this area: one cannot be both. The question of which we should choose is a further question that I do not take a stand on. (shrink)

1. A multidisciplinary group of scholars within the International Commission on Stratigraphy – known as the Anthropocene Working Group – recently recommended the Anthropocene as a new geological ep...

The overarching argument of Currie’s Rock, Bone, and Ruin is that we should be optimistic rather than pessimistic about what the historical sciences can tell us, even about the deep past. To adopt either of these two positions is to take a stance on how the historical sciences tend to perform—on whether they tend to do well, or poorly, when it comes to informing us about the past.

The New Evil Demon problem has been hotly debated since the case was introduced in the early 1980’s (e.g. Lehrer and Cohen 1983; Cohen 1984), and there seems to be recent increased interest in the topic. In a forthcoming collection of papers on the New Evil Demon problem (Dutant and Dorsch, forthcoming), at least two of the papers, both by prominent epistemologists, attempt to resist the problem by appealing to the distinction between justification and excuses. My primary aim here is (...) to critically evaluate this new excuse maneuver as a response to the New Evil Demon problem. -/- Their response attempts to give us reason to reject the idea that victims of the New Evil Demon have justification for believing as they do. I shall argue that this approach is ultimately unsuccessful, however much of value can be learned from these attempts. In particular, progress in the debate can be made by following those who advance the excuse maneuver and make explicit the connection between epistemic justification and epistemic norms. By doing so, the questions being debated are clarified, as is the methodology being used to attempt to answer them. (shrink)

Die Entwicklungen in der Künstlichen Intelligenz (KI) sind spannend. Aber wohin geht die Reise? Ich stelle eine Analyse vor, der zufolge exponentielles Wachstum von Rechengeschwindigkeit und Daten die entscheidenden Faktoren im bisherigen Fortschritt waren. Im Folgenden erläutere ich, unter welchen Annahmen dieses Wachstum auch weiterhin Fortschritt ermöglichen wird: 1) Intelligenz ist eindimensional und messbar, 2) Kognitionswissenschaft wird für KI nicht benötigt, 3) Berechnung (computation) ist hinreichend für Kognition, 4) Gegenwärtige Techniken und Architektur sind ausreichend skalierbar, 5) Technological Readiness Levels (TRL) (...) erweisen sich als machbar. Diese Annahmen werden sich als dubios erweisen. (shrink)

According to many virtue ethicists, one of Aristotle’s important achievements was drawing a clear, qualitative distinction between the character traits of temperance and self-control. In an influential series of papers, John McDowell has argued that a clear distinction between temperance and self-control can be maintained only if one claims that, for the virtuous individual, considerations in favor of actions that are contrary to virtue are “silenced.” Some virtue ethicists reject McDowell’s silencing view as offering an implausible or inappropriate picture of (...) human virtue, but they argue that virtue can still be clearly distinguished from self-control by the absence of motivational conflict alone. In this paper, I argue that this criticism of McDowell is at most half right. If the silencing view is false, so that virtue can have a cost and the virtuous person can justifiably feel negative emotions in response to that cost, there is no principled reason why the virtuous person cannot also have motivational conflict. So, if one rejects the silencing view, then one must allow that the distinction between virtue and self-control is at most a matter of degree. (shrink)

Intentions are commonly conceived of as discrete mental states that are the direct cause of actions. In the last several decades, neuroscientists have taken up the project of finding the neural implementation of intentions, and a number of areas have been posited as implementing these states. We argue, however, that the processes underlying action initiation and control are considerably more dynamic and context sensitive than the concept of intention can allow for. Therefore, adopting the notion of ‘intention’ in neuroscientific explanations (...) can easily lead to misinterpretation of the data, and can negatively influence investigation into the neural correlates of intentional action.We suggest reinterpreting the mechanisms underlying intentional action, and we will discuss the elements that such a reinterpretation needs to account for. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

While it is often said that robotics should aspire to reproducible and measurable results that allow benchmarking, I argue that a focus on benchmarking can be a hindrance for progress in robotics. The reason is what I call the ‘measure-target confusion’, the confusion between a measure of progress and the target of progress. Progress on a benchmark (the measure) is not identical to scientific or technological progress (the target). In the past, several academic disciplines have been led into pursuing only (...) reproducible and measurable ‘scientific’ results – robotics should be careful to follow that line because results that can be benchmarked must be specific and context-dependent, but robotics targets whole complex systems for a broad variety of contexts. While it is extremely valuable to improve benchmarks to reduce the distance be- tween measure and target, the general problem to measure progress towards more intelligent machines (the target) will not be solved by benchmarks alone; we need a balanced approach with sophisticated benchmarks, plus real-life testing, plus qualitative judgment. (shrink)

The term “environmental justice” carries with it a sort of ambiguity. On the one hand, it refers to a movement of social activism in which those involved fight and argue for fairer, more equitable distribution of environmental goods and equal treatment of environmental duties. This movement is related to, and ideally informed by, the second use of the term, which refers to the academic discipline associated with legal regulations and theories of justice and ethics with regard to sustainability, the environment, (...) and ecology. It is this latter, more academic—though vast and interdisciplinary—use of the term that is the subject of this essay. However, activists who pay careful attention to the arguments offered with regard to the political, legal, social, and philosophical treatments of these issues are potentially in a stronger position with regard to their own social movement. In that way, the two uses of the term may progress hand in hand. More broadly, however, the foundational claim about which both grassroots activists and legal, ethical, and policy advocates can agree is that environmental burdens—climate change, pollution, and their associated health risks—are borne disproportionately by the poorest and most vulnerable populations, and tend to have the greatest impact on racial and ethnic minorities, no matter where they are in the world. This is what makes the empirical questions about the environment a normative question about justice. (shrink)

As is usually the case with what I work on, I read some stuff I liked. I 1 read an article on comics by Greg Hayman and Henry Pratt and some work on 2 videogames,GrantTavinor’sreallyexcellentworkonthattopic. Ifoundthematerial interesting and I thought I had something to say about it. That’s what usually motivates me and that’s what did in these cases. With comics, my interest in the medium played a big role. I was a child collector of Marvel. I got turned on (...) to independent and alternative comics about ten years ago by a good friend who’s a successful comics artist and that played a role in my writing about comics. (shrink)

I claim that a relatively new position in philosophy of mathematics, pluralism, overlaps in striking ways with the much older Jain doctrine of anekantavada and the associated doctrines of nyayavada and syadvada. I first outline the pluralist position, following this with a sketch of the Jain doctrine of anekantavada. I then note the srrong points of overlaps and the morals of this comparison of pluralism and anekantavada.

What should we make of claims by members of other groups to have moralities different from our own? Human Rights in Chinese Thought gives an extended answer to this question in the first study of its kind. It integrates a full account of the development of Chinese rights discourse - reaching back to important, though neglected, origins of that discourse in 17th and 18th century Confucianism - with philosophical consideration of how various communities should respond to contemporary Chinese claims about (...) the uniqueness of their human rights concepts. The book elaborates a plausible kind of moral pluralism and demonstrates that Chinese ideas of human rights do indeed have distinctive characteristics, but it nonetheless argues for the importance and promise of cross-cultural moral engagement. (shrink)

Why learn about philosophy? Because it is the master subject; more fundamental than all of the others: it critically examines their fundamental assumptions and presuppositions. And without some grasp of philosophy one cannot be fully educated or even intellectually autonomous: one is the meme-marionette of unexamined traditions, fashions, and commonsense assumptions.

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

Classically, gratitude is a tri-polar construal, logically ordering a benefactor, a benefice, and a beneficiary in a favour-giving-receiving situation. Grammatically, the poles are distinguished and bound together by the prepositions ”to’ and ”for’; so I call this classic concept ”to-for’ gratitude. Classic religious gratitude follows this schema, with God as the benefactor. Such gratitude, when felt, is a religious experience, and a reliable readiness or ”habit’ of such construal is a religious virtue. However, atheists have sometimes felt an urge or (...) need for an analogous experience and virtue of gratitude, and theists sometimes feel intellectual discomfort with classical theistic gratitude on consideration of the misfortunes that characterize our life along with its blessings. In response, another conception of religious gratitude has been attempted, a construal that lacks the to-for structure. This paper probes the significance of the benefactor for gratitude, both secular and religious, and, with Søren Kierkegaard’s help, some features of the theology of classical religious gratitude that dissolve the problem of misfortunes. (shrink)

I focus on three mereological principles: the Extensionality of Parthood (EP), the Uniqueness of Composition (UC), and the Extensionality of Composition (EC). These principles are not equivalent. Nonetheless, they are closely related (and often equated) as they all reflect the basic nominalistic dictum, No difference without a difference maker. And each one of them—individually or collectively—has been challenged on philosophical grounds. In the first part I argue that such challenges do not quite threaten EP insofar as they are either self-defeating (...) or unsupported. In the second part I argue that they hardly undermine the tenability of EC and UC as well. (shrink)

I present and discuss three previously unpublished manuscripts written by Bertrand Russell in 1903, not included with similar manuscripts in Volume 4 of his Collected Papers. One is a one-page list of basic principles for his “functional theory” of May 1903, in which Russell partly anticipated the later Lambda Calculus. The next, catalogued under the title “Proof That No Function Takes All Values”, largely explores the status of Cantor’s proof that there is no greatest cardinal number in the variation of (...) the functional theory holding that only some but not all complexes can be analyzed into function and argument. The final manuscript, “Meaning and Denotation”, examines how his pre-1905 dis­tinction between meaning and denotation is to be understood with respect to functions and their arguments. In them, Russell seems to endorse an extensional view of functions not endorsed in other works prior to the 1920s. All three manuscripts illustrate the close connection between his work on the logical paradoxes and his work on the theory of meaning. (shrink)

Recent discussions of cognitive enhancement often note that drugs and technologies that improve cognitive performance may do so at the risk of “cheapening” our resulting cognitive achievements Arguing about bioethics, Routledge, London, 2012; Harris in Bioethics 25:102–111, 2011). While there are several possible responses to this worry, we will highlight what we take to be one of the most promising—one which draws on a recent strand of thinking in social and virtue epistemology to construct an integrationist defence of cognitive enhancement.. (...) According to such a line, there is—despite initial appearances to the contrary—no genuine tension between using enhancements to attain our goals and achieving these goals in a valuable way provided the relevant enhancement is appropriately integrated into the agent’s cognitive architecture. In this paper, however, we show that the kind of integration recommended by such views will likely come at a high cost. More specifically, we highlight a dilemma for users of pharmacological cognitive enhancement: they can meet the conditions for cognitive integration at the significant risk of dangerous dependency, or remain free of such dependency while foregoing integration and the valuable achievements that such integration enables. After motivating and clarifying the import of this dilemma, we offer recommendations for how future cognitive enhancement research may offer potential routes for navigating past it. (shrink)

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

Benefit/cost analysis is a technique for evaluating programs, procedures, and actions; it is not a moral theory. There is significant controversy over the moral justification of benefit/cost analysis. When a procedure for evaluating social policy is challenged on moral grounds, defenders frequently seek a justification by construing the procedure as the practical embodiment of a correct moral theory. This has the apparent advantage of avoiding difficult empirical questions concerning such matters as the consequences of using the procedure. So, for example, (...) defenders of benefit/cost analysis (BCA) are frequently tempted to argue that this procedurejust isthe calculation of moral Tightness – perhaps that what itmeansfor an action to be morally right is just for it to have the best benefit-to-cost ratio given the accounts of “benefit” and “cost” that BCA employs. They suggest, in defense of BCA, that they have found the moral calculus – Bentham's “unabashed arithmetic of morals.” To defend BCA in this manner is to commit oneself to one member of a family of moral theories (let us call thembenefit/cost moral theoriesorB/C moral theories) and, also, to the view that if a procedure is (so to speak) the direct implementation of a correct moral theory, then it is a justified procedure. Neither of these commitments is desirable, and so the temptation to justify BCA by direct appeal to a B/C moral theory should be resisted; it constitutes an unwarranted short cut to moral foundations – in this case, an unsound foundation. Critics of BCA are quick to point out the flaws of B/C moral theories, and to conclude that these undermine the justification of BCA. But the failure to justify BCA by a direct appeal to B/C moral theory does not show that the technique is unjustified. There is hope for BCA, even if it does not lie with B/C moral theory. (shrink)

The contribution of the body to cognition and control in natural and artificial agents is increasingly described as “off-loading computation from the brain to the body”, where the body is said to perform “morphological computation”. Our investigation of four characteristic cases of morphological computation in animals and robots shows that the ‘off-loading’ perspective is misleading. Actually, the contribution of body morphology to cognition and control is rarely computational, in any useful sense of the word. We thus distinguish (1) morphology that (...) facilitates control, (2) morphology that facilitates perception and the rare cases of (3) morphological computation proper, such as ‘reservoir computing.’ where the body is actually used for computation. This result contributes to the understanding of the relation between embodiment and computation: The question for robot design and cognitive science is not whether computation is offloaded to the body, but to what extent the body facilitates cognition and control – how it contributes to the overall ‘orchestration’ of intelligent behaviour. (shrink)

I defend the theory that one's life is meaningful to the extent that one promotes the good. Call this the good cause account (GCA) of the meaning of life. It holds that the good effects that count towards the meaning of one's life need not be intentional. Nor must one be aware of the effects. Nor does it matter whether the same good would have resulted if one had not existed. What matters is that one is causally responsible for the (...) good. I argue that the best theory of the meaning of life should clearly distinguish between subjective fulfillment and objective meaningfulness. The GCA respects the distinction. And it is superior to its leading rivals in the recent literature, most notably those of Erik Wielenberg and Susan Wolf. (shrink)

Climate adaptation and resilience scholars are struggling to address distributive and procedural justice in climate resilience efforts. While the capability approach (CA) has been widely appraised as a suitable justice basis for this context, there are few detailed studies assessing this possibility. This paper addresses this gap by advancing discussions about the prospects of the CA for guiding justice work in climate resilience. With its emphasis on the final value and mutually irreducible character of the concrete beings and doings of (...) individuals, we find the CA relevant for tackling salient aspects of adaptation, such as the multi-faceted and locally specific nature of climate vulnerability. We also present and discuss a capability application that has particular relevance for including distributive and procedural justice considerations in climate resilience. On the other hand, we find that extant arguments in support of the CA neglect the limitations of the CA and some dilemmas involved in applying it, also overestimating the differences between the CA and other justice approaches, especially those based on resources and needs. These problems lead us to advise against treating the CA as a one-size-fits-all solution to the ills of climate resilience and they further raise a need for joining efforts with complementary approaches. -/- . (shrink)

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

Atualmente, biotecnologias são empregadas na forma de protocolos a fim de sincronizar o crescimento folicular e a ovulação, bem como permitir que vacas atuem como receptoras de embriões visando melhorar o potencial genético do rebanho. O objetivo desse estudo foi avaliar o efeito da utilização de implantes intravaginais de progesterona de 1º, 2º e 3º uso no protocolo de transferência de embriões em tempo fixo (TETF) sobre a taxa de prenhez em receptoras girolandas. O experimento ocorreu em uma fazenda localizada (...) no município de São Sebastião do Maranhão (MG). Foram utilizadas 74 vacas submetidas aos seguintes protocolos: No dia 0 (D0) administrou-se 2 ml de 17β-Estradiol e progesterona e foi colocado o implante intravaginal de progesterona. Estes implantes foram colocados de forma aleatória, sendo de 1° uso (grupo 1; n=15), 2° (grupo 2; n=24) ou 3° (grupo 3; n=35).No D8, os implantes foram retirados e administrou-se 2 ml PGF2α; 1,5 ml de eCG e 1 ml de 17β-Estradiol e progesterona. A inovulação dos embriões in vitroo correu no D (16) para todas as vacas que apresentaram um corpo lúteo. As variáveis qualitativas (prenhe ou não prenhe) foram comparadas em tabelas de contingência e analisadas pelo teste de qui-quadrado a 5% de probabilidade. Neste estudo não houve diferença estatística entre os grupos protocolados em relação ao aproveitamento como receptoras: 1º uso (53,3%), 2º (79,2%) e 3º (68,65). Ademais, observou-se uma taxa de prenhez entre os grupos de 37,5% para o 1º uso, 42,1% para o 2º e 33,3% para o 3º (P>0,05). Dentre as vantagens ao reaproveitamento dos implantes multiusos destaca-se a redução dos custos dos protocolos hormonais, já que a progesterona é o hormônio mais oneroso, desta forma, a maximização do uso reduz o valor final do protocolo sem prejuízos a taxa de prenhez. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

One finds, in Maxwell's writings on thermodynamics and statistical physics, a conception of the nature of these subjects that differs in interesting ways from the way that they are usually conceived. In particular, though—in agreement with the currently accepted view—Maxwell maintains that the second law of thermodynamics, as originally conceived, cannot be strictly true, the replacement he proposes is different from the version accepted by most physicists today. The modification of the second law accepted by most physicists is a probabilistic (...) one: although statistical fluctuations will result in occasional spontaneous differences in temperature or pressure, there is no way to predictably and reliably harness these to produce large violations of the original version of the second law. Maxwell advocates a version of the second law that is strictly weaker; the validity of even this probabilistic version is of limited scope, limited to situations in which we are dealing with large numbers of molecules en masse and have no ability to manipulate individual molecules. Connected with this is his concept of the thermodynamic concepts of heat, work, and entropy; on the Maxwellian view, these are concepts that must be relativized to the means we have available for gathering information about and manipulating physical systems. The Maxwellian view is one that deserves serious consideration in discussions of the foundation of statistical mechanics. It has relevance for the project of recovering thermodynamics from statistical mechanics because, in such a project, it matters which version of the second law we are trying to recover. (shrink)

Russell discovered the classes version of Russell's Paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in _The Principles of Mathematics_, finished in late 1902. I argue that Russell's dating was accurate, and that the functions version does not appear in the (...) _Principles_. I distinguish the functions and predicates versions, give a novel reading of the _Principles_, section 85, as a paradox dealing with what Russell calls _assertions_, and show that Russell's logical notation in 1902 had no way of even formulating the functions version. The propositional functions version had its origins in the summer of 1903, soon after Russell's notation had changed in such a way as to make a formulation possible. (shrink)

This is a position article summarizing our approach to the philosophy of space and spatial representation. Our concern is mostly methodological: above all, we argue that a number of philosophical puzzles that arise in this field—puzzles concerning the nature of spatial entities, their material and mereological constitution, their relationship with the space that they occupy—stem from a confusion between semantic issues and true metaphysical concerns.

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

A discussion of some philosophical themes in the Terminator film series, including: the possibility of time travel, backward causation, the difference between changing the past/future and affecting it, the difference between determinism and fatalism, and how such issues depend on the underlying philosophy of time (eternism vs. presentism vs. the growing-block theory).

I argue that Émilie Du Châtelet breaks with Christian Wolff regarding the scope and epistemological content of the principle of sufficient reason, despite his influence on her basic ontology and their agreement that the principle of sufficient reason has foundational importance. These differences have decisive consequences for the ways in which Du Châtelet and Wolff conceive of science.

Italian translation of "Conjunction and Contradiction" (2004), by Francesco Berto.

An imaginary dialogue between Andrea Bonomi and Gonzalo Pirobutirro (the main character of Gadda’s novel La cognizione del dolore) aiming to challenge Bonomi’s tenet that a work of fiction defines a domain of objects which is closed with respect to the actual world.

Obligations to reduce one’s green house gas emissions appear to be difficult to justify prior to large-scale collective action because an individual’s emissions have virtually no impact on the environmental problem. However, I show that individuals’ emissions choices raise the question of whether or not they can be justified as fair use of what remains of a safe global emissions budget. This is true both before and after major mitigation efforts are in place. Nevertheless, it remains difficult to establish an (...) obligation to reduce personal emissions because it appears unlikely that governments will in fact maintain safe emissions budgets. The result, I claim, is that under current conditions we lack outcome, fairness, promotional, virtue or duty based grounds for seeing personal emissions reductions as morally obligatory. (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

This article examines a fundamental question of justice in global health. Is it ethically preferable to provide a larger number of people with cheaper treatments that are less effective (or more toxic), or to restrict treatments to a smaller group to provide a more expensive but more effective or less toxic alternative? We argue that choosing to provide less effective or more toxic interventions to a larger number of people is favored by the principles of utility, equality, and priority for (...) those worst-off. Advocates are mistaken to demand that medical care provided in low-income and middle-income countries should be the same as in high-income countries. (shrink)

Why do people seemingly want to be scared by movies and feel pity for fictional characters when they avoid situations in real life that arouse these same negative emotions? Although the domain of relevant artworks encompasses far more than just tragedy, the general problem is typically called the paradox of tragedy. The paradox boils down to a simple question: If people avoid pain then why do people want to experience art that is painful? I discuss six popular solutions to the (...) paradox: conversion, control, compensatory, meta-response, catharsis, and rich experience theories. (shrink)

For Émilie Du Châtelet, I argue, a central role of the principle of sufficient reason is to discriminate between better and worse explanations. Her principle of sufficient reason does not play this role for just any conceivable intellect: it specifically enables understanding for minds like ours. She develops this idea in terms of two criteria for the success of our explanations: “understanding how” and “understanding why.” These criteria can respectively be connected to the determinateness and contrastivity of explanations. The crucial (...) role Du Châtelet’s principle of sufficient reason plays in identifying good explanations is often overlooked in the literature, or else run together with questions about the justification and likelihood of explanations. An auxiliary goal of the article is to situate Du Châtelet’s principle of sufficient reason with respect to some of the general epistemological and metaphysical commitments of her Institutions de Physique, clarifying how it fits into the broader project of that work. (shrink)

Kyle Stanford has recently given substance to the problem of unconceived alternatives, which challenges the reliability of inference to the best explanation (IBE) in remote domains of nature. Conjoined with the view that IBE is the central inferential tool at our disposal in investigating these domains, the problem of unconceived alternatives leads to scientific anti-realism. We argue that, at least within the biological community, scientists are now and have long been aware of the dangers of IBE. We re-analyze the nineteenth-century (...) study of inheritance and development (Stanford’s case study) and extend it into the twentieth century, focusing in particular on both classical Mendelian genetics and the studies by Avery et al. on the chemical nature of the hereditary substance. Our extended case studies show the preference of the biological community for a different methodological standard: the vera causa ideal, which requires that purported causes be shown on non-explanatory grounds to exist and be competent to produce their effects. On this basis, we defend a prospective realism about the biological sciences. (shrink)